Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
391	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
392	The Z/EVES Reference Manual (for Version 1.5) TR03d Irwin Meisels and Mark Saaltink Release date: December 1995 Latest revision date: September 1997 Add to Reading List Source URL: www.oracanada.com Language: English - Date: 2009-03-31 21:35:27 Oxford University Computing Laboratory Z notation Formal methods Model theory Functions and mappings First-order logic Function S Lambda calculus Mathematical logic Mathematics Logic
393	Weak βη-Normalization and Normalization by Evaluation for System F Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2008-09-11 16:49:25 Lambda calculus Logic in computer science Combinatory logic Valuation Normalisation by evaluation Sheaf Natural deduction Limit set Abstract algebra Mathematics Theoretical computer science
394	1 Image Decomposition Via the Combination of Sparse Representations and a Variational Approach Add to Reading List Source URL: jstarck.free.fr Language: English - Date: 2004-09-14 21:55:35 Unitary operators Integral transforms Image processing Wavelets Curvelet Lambda calculus Fourier transform Matching pursuit Basis pursuit denoising Mathematical analysis Mathematics Fourier analysis
395	Pointcuts and Advice in Higher-Order Languages David B. Tucker and Shriram Krishnamurthi Department of Computer Science Brown University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:24 Aspect-oriented programming AspectJ Join point Pointcut Lambda calculus Closure Continuation Denotational semantics Grammatical aspect Software development Software Aspect-oriented software development
396	Internship report : Extending M LF with Higher-Order Types Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 10:51:56 Programming language theory Curry–Howard correspondence Lambda calculus System F Binding Type inference Simply typed lambda calculus Type system Polymorphism Type theory Software engineering Theoretical computer science
397	Javascript to Scheme Compilation Florian Loitsch Inria Sophia Antipolis 2004 route des Lucioles - BP 93 FSophia Antipolis, Cedex France Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Subroutines Data types Cross-platform software Lambda calculus Functional programming JavaScript Closure Anonymous function Apply Software engineering Computing Computer programming
398	Which simple types have a unique inhabitant? Gabriel Scherer Didier R´emy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-03-03 05:16:01 Proof theory Lambda calculus Type theory Logic in computer science Model theory Natural deduction System F Function Sequent calculus Mathematical logic Logic Mathematics
399	Implicit and Explicit Aspects of Scope and Block Structure Ulrik Pagh Schultz May 15, 1997 Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Subroutines Logic in computer science Functional programming Lambda lifting Closure Combinatory logic Lambda Apply Free variables and bound variables Software engineering Lambda calculus Computing
400	A Formalized Proof of Strong Normalization for Guarded Recursive Types (Long Version) Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-08-29 19:03:11 Dependently typed programming Logic in computer science Type theory Proof theory Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Intuitionistic type theory Theoretical computer science Mathematical logic Mathematics

UPDATE